Easy Ontology without Deflationary Metaontology

This is a contribution to a symposium on Amie Thomasson’s Ontology Made Easy (2015). Thomasson defends two deflationary theses: that philosophical questions about the existence of numbers, tables, properties, and other disputed entities can all easily be answered, and that there is something wrong with prolonged debates about whether such objects exist. I argue that the first thesis (properly understood) does not by itself entail the second. Rather, the case for deflationary metaontology rests largely on a controversial doctrine about the possible meanings of ‘object’. I challenge Thomasson's argument for that doctrine, and I make a positive case for the availability of the contested, unrestricted use of ‘object’

Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi

We have recently presented a general method of proving the fundamental logical properties of Craig and Lyndon Interpolation (IPs) by induction on derivations in a wide class of internal sequent calculi, including sequents, hypersequents, and nested sequents. Here we adapt the method to a more general external formalism of labelled sequents and provide sufficient criteria on the Kripke-frame characterization of a logic that guarantee the IPs. In particular, we show that classes of frames definable by quantifier-free Horn formulas correspond to logics with the IPs. These criteria capture the modal cube and the infinite family of transitive Geach logics

AGI and the Knight-Darwin Law: why idealized AGI reproduction requires collaboration

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs

Priority monism and essentiality of fundamentality: a reply to Steinberg

Steinberg has recently proposed an argument against Schaffer’s priority monism. The argument assumes the principle of Necessity of Monism, which states that if priority monism is true, then it is necessarily true. In this paper, I argue that Steinberg’s objection can be eluded by giving up Necessity of Monism for an alternative principle, that I call Essentiality of Fundamentality, and that such a principle is to be preferred to Necessity of Monism on other grounds as well

Towards Logical Specification of Statistical Machine Learning

We introduce a logical approach to formalizing statistical properties of machine learning. Specifically, we propose a formal model for statistical classification based on a Kripke model, and formalize various notions of classification performance, robustness, and fairness of classifiers by using epistemic logic. Then we show some relationships among properties of classifiers and those between classification performance and robustness, which suggests robustness-related properties that have not been formalized in the literature as far as we know. To formalize fairness properties, we define a notion of counterfactual knowledge and show techniques to formalize conditional indistinguishability by using counterfactual epistemic operators. As far as we know, this is the first work that uses logical formulas to express statistical properties of machine learning, and that provides epistemic (resp. counterfactually epistemic) views on robustness (resp. fairness) of classifiers.Comment: SEFM'19 conference paper (full version with errors corrected

Effectiveness and cost-effectiveness of an educational intervention for practice teams to deliver problem focused therapy for insomnia: rationale and design of a pilot cluster randomised trial

Background: Sleep problems are common, affecting over a third of adults in the United Kingdom and leading to reduced productivity and impaired health-related quality of life. Many of those whose lives are affected seek medical help from primary care. Drug treatment is ineffective long term. Psychological methods for managing sleep problems, including cognitive behavioural therapy for insomnia (CBTi) have been shown to be effective and cost effective but have not been widely implemented or evaluated in a general practice setting where they are most likely to be needed and most appropriately delivered. This paper outlines the protocol for a pilot study designed to evaluate the effectiveness and cost-effectiveness of an educational intervention for general practitioners, primary care nurses and other members of the primary care team to deliver problem focused therapy to adult patients presenting with sleep problems due to lifestyle causes, pain or mild to moderate depression or anxiety. Methods and design: This will be a pilot cluster randomised controlled trial of a complex intervention. General practices will be randomised to an educational intervention for problem focused therapy which includes a consultation approach comprising careful assessment (using assessment of secondary causes, sleep diaries and severity) and use of modified CBTi for insomnia in the consultation compared with usual care (general advice on sleep hygiene and pharmacotherapy with hypnotic drugs). Clinicians randomised to the intervention will receive an educational intervention (2 × 2 hours) to implement a complex intervention of problem focused therapy. Clinicians randomised to the control group will receive reinforcement of usual care with sleep hygiene advice. Outcomes will be assessed via self-completion questionnaires and telephone interviews of patients and staff as well as clinical records for interventions and prescribing. Discussion: Previous studies in adults have shown that psychological treatments for insomnia administered by specialist nurses to groups of patients can be effective within a primary care setting. This will be a pilot study to determine whether an educational intervention aimed at primary care teams to deliver problem focused therapy for insomnia can improve sleep management and outcomes for individual adult patients presenting to general practice. The study will also test procedures and collect information in preparation for a larger definitive cluster-randomised trial. The study is funded by The Health Foundation

Linked Data Supported Content Analysis for Sociology

Philology and hermeneutics as the analysis and interpretation of natural language text in written historical sources are the predecessors of modern content analysis and date back already to antiquity. In empirical social sciences, especially in sociology, content analysis provides valuable insights to social structures and cultural norms of the present and past. With the ever growing amount of text on the web to analyze, also numerous computer-assisted text analysis techniques and tools were developed in sociological research. However, existing methods often go without sufficient standardization. As a consequence, sociological text analysis is lacking transparency, reproducibility and data re-usability. The goal of this paper is to show, how Linked Data principles and Entity Linking techniques can be used to structure, publish and analyze natural language text for sociological research to tackle these shortcomings. This is achieved on the use case of constitutional text documents of the Netherlands from 1884 to 2016 which represent an important contribution to the European cultural heritage. Finally, the generated data is made available and re-usable as Linked Data not only for sociologists, but also for all other researchers in the digital humanities domain interested in the development of constitutions in the Netherlands

The coinductive formulation of common knowledge

We study the coinductive formulation of common knowledge in type theory. We formalise both the traditional relational semantics and an operator semantics, similar in form to the epistemic system S5, but at the level of events on possible worlds rather than as a logical derivation system. We have two major new results. Firstly, the operator semantics is equivalent to the relational semantics: we discovered that this requires a new hypothesis of semantic entailment on operators, not known in previous literature. Secondly, the coinductive version of common knowledge is equivalent to the traditional transitive closure on the relational interpretation. All results are formalised in the proof assistants Agda and Coq

Statistical Epistemic Logic

We introduce a modal logic for describing statistical knowledge, which we call statistical epistemic logic. We propose a Kripke model dealing with probability distributions and stochastic assignments, and show a stochastic semantics for the logic. To our knowledge, this is the first semantics for modal logic that can express the statistical knowledge dependent on non-deterministic inputs and the statistical significance of observed results. By using statistical epistemic logic, we express a notion of statistical secrecy with a confidence level. We also show that this logic is useful to formalize statistical hypothesis testing and differential privacy in a simple and abstract manner